Mathematical Programming - PDFSEARCH.IO - Document Search Engine

Mathematical Programming
Results: 4310

#	Item
181	1 Finding Almost-Invariants in Distributed Systems Maysam Yabandeh‡ , Abhishek Anand† , Marco Canini∗ , and Dejan Kosti´c∗ ∗ EPFL, Lausanne, Switzerland † Cornell University, Ithaca NY, USA, (work done duri Add to Reading List Source URL: perso.uclouvain.be Language: English - Date: 2014-02-09 12:29:53 Logic Mathematical logic Computing Formal methods Predicate logic Finite model theory Computer programming Invariant First-order logic Daikon FO Chord
182	Adaptive Multi-Agent Programming in GTGolog Alberto Finzi1, 2 and Thomas Lukasiewicz2, 1 1 2 Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2006-05-24 10:11:01 Mathematical analysis Mathematical logic Logic Dynamic programming Markov decision process Stochastic control Constructible universe Situation calculus First-order logic Distribution
183	CSE 584A Class 25 Jeremy Buhler April 25, 2016 1 Add to Reading List Source URL: classes.engineering.wustl.edu Language: English - Date: 2016-04-25 15:56:40 Computational phylogenetics Bioinformatics Biology Dynamic programming Multiple sequence alignment NeedlemanWunsch algorithm Gap penalty Mathematical and theoretical biology Applied mathematics
184	COSC 480/MATH 482  CPLEX Installation and Usage Guide  September 24, 2012    For Mac:    Add to Reading List Source URL: faculty.smcm.edu Language: English - Date: 2012-09-24 20:53:46 Mathematical optimization Computer file formats Constraint programming Theoretical computer science CPLEX Computing ILOG Sol Nl Computer science
185	A maximum feasible linear subsystem problem for modeling noise pollution around airports Sandra Hommersom) Add to Reading List Source URL: www.math.ru.nl Language: English - Date: 2016-04-12 05:51:20 Computational complexity theory Theory of computation Mathematics Operations research Complexity classes Mathematical optimization Structural complexity theory Theoretical computer science NP Linear programming Algorithm Reduction
186	CS264: Homework #8 Due by midnight on Wednesday, November 19, 2014 Instructions: (1) Students taking the course pass-fail should complete the exercises. Students taking the course for a letter grade should also complete Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-11-14 09:53:16 Computational complexity theory Operations research Theory of computation Mathematics Knapsack problem Optimization problem NP Mathematical optimization Polynomial-time approximation scheme Dynamic programming Time complexity Isolation lemma
187	Noname manuscript No. (will be inserted by the editor) A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds · Jasmin Christian Blanchette Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-03-02 06:43:58 Mathematical logic Logic Theoretical computer science Type theory Automated theorem proving Logic programming Data types Unification Recursive data type Substitution Corecursion First-order logic
188	Map Sketch Generation as a Service Antonios Liapis Institute of Digital Games University of Malta Add to Reading List Source URL: antoniosliapis.com Language: English - Date: 2015-08-13 18:07:00 Software engineering Computing Computer programming Subroutines Scripting languages Ajax JSON JavaScript Genetic algorithm Mathematical optimization Parameter XC
189	Dual Decomposition with Many Overlapping Components Andr´e F. T. Martins∗† Noah A. Smith∗ Pedro M. Q. Aguiar‡ M´ario A. T. Figueiredo† ∗ School of Computer Science, Carnegie Mellon University, Pittsburgh, P Add to Reading List Source URL: users.isr.ist.utl.pt Language: English - Date: 2011-06-21 07:04:38 Mathematical optimization Operations research Mathematics Mathematical analysis Convex optimization Subgradient method Augmented Lagrangian method Decomposition method Dynamic programming Algorithm Linear programming
190	The Speakers Jawad Elomari he is a lead researcher at ORTEC B.V. on mixed integer nonlinear optimization. He has worked in various industries like supply chain, pharmaceuticals, and engineering design. His research inter Add to Reading List Source URL: or2015.univie.ac.at Language: English - Date: 2015-07-09 02:39:51 Operations research Numerical analysis Mathematical optimization Mathematical analysis Mathematics Linear programming Multi-objective optimization Computer algebra systems Numerical software General Algebraic Modeling System Artelys Knitro

UPDATE